arithmetically sound

Translations
arithmétiquement cohérent